Design and Validation of Reliable Technical Information Systems
ثبت نشده
چکیده
The growing size, complexity and reliability requirements of technical information systems call for extensive validation early in the design process. Such validations include type checking, prototyping, safeness checking and constraint checking. These validations can be performed thanks to the presence of underlying formal methods, which can be efficiently encapsulated within easy-to-use design tools. We present a design toolset built around the formal database specification language TM. We describe the process of information system design and validation with the use of these tools.
منابع مشابه
Critical Success Factors for Data Virtualization: A Literature Review
Data Virtualization (DV) has become an important method to store and handle data cost-efficiently. However, it is unclear what kind of data and when data should be virtualized or not. We applied a design science approach in the first stage to get a state of the art of DV regarding data integration and to present a concept matrix. We extend the knowledge base with a systematic literature review ...
متن کاملApplication of triangulation approach in requirements engineering process: A study in analysis and design of the pediatrics epilepsy information system
Introduction: Requirements Engineering process is a crucial phase in software development. In order to achieve a successful design of health information systems (HISs), applying the best methodologies is essential. Therefore, the aim of the present study was to design pediatrics Epilepsy Information System (EPIS) as well as the use of triangulation approach in elicitation and validation of epil...
متن کاملDesigning, validation, and reliability assessment of software to acquire kinematics parameters of motion by image processing
Motion analysis systems are useful and effective equipment in biomechanics research. Unfortunately these systems are available for few researchers because these are expensive equipment. The aim of this study was to design and validation of a practical and inexpensive software, to determine the exact markers position in space and compute the kinematic of movement. In designing the software, the ...
متن کاملعوامل موثر بر پذیرش فناوری اطلاعات در محیط بالینی از دیدگاه پرستاران
Background and Aim: Information technology acceptance model predicts acceptance based on end-users' perceived usefulness and ease of use of technology for a specific purpose. The aim of this study is to understand nursing staff’s adoption of clinical information systems based on information technology acceptance model. Materials and Methods: This descriptive- analytic study was conducted on 3...
متن کاملDifferential Flatness Method Based on Pre-set Guidance and Control Subsystem Design for a Surface to Surface Flying Vehicle (TECHNICAL NOTE)
The purpose of this paper is to design a guidance and control system and evaluate the performance of a sample surface‑to‑surface flying object based on preset guidance with a new prospective. In this study, the main presented idea is usage of unique property of governor differential equations in order to design and develop a controlled system. Thereupon a set of system output variables have bee...
متن کامل